COX-1 KD Hypomorph http://identifiers.org/mgd/MGI:3576237 targeted mutation 1, Colin D Funk Ptgs1<tm1Fun> PGHS1<Neo> MGI:3576237